Characterization and Implicit Identification of Sequential Indistinguishability
نویسندگان
چکیده
Effective diagnosis of integrated circuits relies critically on the quality of diagnostic test vectors. Diagnostic test pattern generation aims at producing test vectors that distinguish between all distinguishable pairs of faults, and proving the remaining pairs of faults to be indistinguishable. Proving indistinguishabilities, much like proving undetectabilities in the case of detection-oriented test pattern generation, requires substantial computational effort. In this paper, we simplify the problem by showing that a significant number of indistinguishability relations can be proven implicitly, with little computational effort. Sequential indistinguishability is characterized and conditions for the identification of new indistinguishability relations based on already existing relations are established. Experiments on the ISCAS 89 benchmark circuits are presented to indicate the significant improvements achievable by the implicit identification of indistinguishabilities.
منابع مشابه
Sequential Implicit Numerical Scheme for Pollutant and Heat Transport in a Plane-Poiseuille Flow
A sequential implicit numerical scheme is proposed for a system of partial differential equations defining the transport of heat and mass in the channel flow of a variable-viscosity fluid. By adopting the backward difference scheme for time derivative and the central difference scheme for the spatial derivatives, an implicit finite difference scheme is formulated. The variable-coefficient diffu...
متن کاملThe Impact of the Spectral Filter Bandwidth on the Spectral Entanglement and Indistinguishability of Photon Pairs of SPDC Process
In this paper, we have investigated the dependence of the spectral entanglement and indistinguishability of photon pairs produced by the spontaneous parametric down-conversion (SPDC) procedure on the bandwidth of spectral filters used in the detection setup. The SPDC is a three-wave mixing process which occurs in a nonlinear crystal and generates entangled photon pairs and utilizes as one of th...
متن کاملDifferential Impact of Sequential and Simultaneous Input Enhancement on Iranian EFL Learners’ Intake
This study set out to explore whether different input enhancement tasks as implicit instruction techniques had any significant impact on the intake of causative verbs in English as a foreign language among Iranian EFL learners. For this purpose, three intact classes consisting of 75 male and female intermediate L2 learners were randomly divided into three conditions: simultaneous grammar consci...
متن کاملIdentification and Characterization of Leishmania spp. in Impreession Smears of Patients with Cutaneous Leishmaniasis
Background: Monoclonal antibodies have been employed extensively for the identification of Leishmania species, development of diagnostic tests and in the characterization of defined leishmanial antigens. Objectives: Identification and characterization of Leishmania spp. directly from cutaneous lesions of infected individuals. Methods: An immunoperoxidase test (Avidin-Biotin technique) using mo...
متن کامل